منابع مشابه
Entretien avec Ken Whistler, directeur technique du consortium Unicode
Interview with Dr. Ken Whistler, technical director of the Unicode Consortium on the origin of the Unicode standard and its relation to ISO/IEC 10646. Dr. Whistler answers several questions related to the perceived implementation problems and apparent weaknesses of the Unicode standard. 1. Le cri, une des langues autochtones parlées au Québec, est pris en charge par Unicode. 330 DN – 6/2002. Un...
متن کاملEntretien avec GILLES DOWEK. De l'engagement dans la recherche à la recherche de l'engagement
Gilles Dowek est Directeur de Recherche à l’Inria. Il conduit des recherches dans le domaine de la formalisation des mathématiques (théorie des types, théorie des ensembles, etc.) et sur les systèmes informatiques de traitement des démonstrations mathématiques. Par ailleurs, sa réflexion sur l’enseignement de l’informatique l’a mené à participer à la rédaction des nouveaux programmes d’enseigne...
متن کاملInferenzbasierte Werkzeuge in NORA
Die experimentelle Softwareentwicklungsumgebung NORA strebt die Nutzbarmachung neuer Ergebnisse im Bereich Unifikationstheorie und Deduktionsverfahren für Softwarewerkzeuge an. Gruppiert um eine Bibliothek wiederverwendbarer Softwarekomponenten bietet NORA interaktive Werkzeuge zum Komponentenretrieval mit Spezifikationen und Verwendungsmustern, zum unifikationsbasierten Konfigurationsmanagemen...
متن کاملMrs. Nora Aris
her colleagues when she was in charge of the Foster Homes Register for Nervous, Retarded and Difficult Children run jointly by the two bodies before their merging into the National Association f?l Mental Health. During the last ten years of her life she becatfl6 widely known through her work for the "Family Centre" section of "Good Housekeeping" involving the giving of advice and help to the ma...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Revue internationale d'éducation de Sèvres
سال: 1997
ISSN: 1254-4590,2261-4265
DOI: 10.4000/ries.3243